mkid\{\$x:ut2\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$token\{\$x:ut2\}